Corrections of html within PHP