Corrections to gtk-doc