fix spurious html