Some tweaks for the html version