Corrections to HTML