Tidy HTML fix.