diff --git a/src/post_modules/GTK/refdoc/GTK.pmod/Button.pike b/src/post_modules/GTK/refdoc/GTK.pmod/Button.pike
index d97d4ad7c82dde0743dcc6cf136f21a5b99063db..876807127bf7a8a59a2f74fe64d20845fbc3370c 100644
--- a/src/post_modules/GTK/refdoc/GTK.pmod/Button.pike
+++ b/src/post_modules/GTK/refdoc/GTK.pmod/Button.pike
@@ -50,7 +50,7 @@ GTK.Button enter( );
 //!
 //!
 
-GTK.Widget get_child( );
+GTK.Widget child( );
 //! The (one and only) child of this container.
 //!
 //!