Fixed bug #7794: opendocs causes Javascript error in Internet Explorer (thanks to...