fix a malformed html file (fix #197), sorry