tidied HTML