Work around gtk-doc problems