Fixing some HTML