Fix -Wmismatched-tags