tidy some old html