I tried that line in Windows 8 + IE 10 and from what I recall it worked. Will check tomorrow.