Tiny HTML syntax fix