Fix GTK-Doc error