Mopping up HTML mistakes