Fix spurious end comment tag