slight tidyup of html