Another attempted fix for docbook in IE