tidying up HTML