Minor, seemingly harmless tweaks to misc.tmpl