Fixed Bug #587820, i.e. added workaround for IE bug that includes fragment identifier...