Patch from Dav, fix HTML commenting.