HTML corrections and simplifications