[galaxy-dev] funny bug with latest galaxy release when using IE