Minor tweaks to HTML synhi.