Fix some HTML syntax to make it prettier