Fix illegal comment tags

Fixed by jmatsuzawa@gnome.org