Added a workaround for IE, now also inserting document titles into html
Authored by: tse 2011-04-06
Parent: [r4888]
Child: [r4890]
