fixes #7187 IE10 help boxes