tidied up HTML