Fix malformed GTK-Doc comment blocks: don't confuse GTK-Doc parsers.