Fix HTML weirdness