Bug fix for open/8181 which stops the HTML source editor window saving/publishing