fix IE version detection in old IE

Fixes #2652