diff --git a/src/post_modules/GTK2/source/gtksourcebuffer.pre b/src/post_modules/GTK2/source/gtksourcebuffer.pre
index 345120c1a4c3ac45f4422723a9e38f470943c845..d7b6e89616a9efff8100d9a38591f7958dc2af54 100644
--- a/src/post_modules/GTK2/source/gtksourcebuffer.pre
+++ b/src/post_modules/GTK2/source/gtksourcebuffer.pre
@@ -452,4 +452,4 @@ GTK2.SourceMarker get_prev_marker(GTK2.TextIter iter)
       push_int(0);
   }
 }
-#endnot
+endnot;