diff --git a/misc/jedit/macros/goto-error.bsh b/misc/jedit/macros/goto-error.bsh
index d727d5dfb..3fc260c0d 100644
--- a/misc/jedit/macros/goto-error.bsh
+++ b/misc/jedit/macros/goto-error.bsh
@@ -25,8 +25,8 @@ import isabelle.jedit.*;
 msg(s) { Macros.message(view, s); }
 
 // isabelle setup
-model = Document_Model.get(textArea.getBuffer());
-snapshot = model.get().snapshot();
+model = Document_Model.get_model(textArea.getBuffer());
+snapshot = Document_Model.snapshot(model.get());
 
 class FirstError {
     public int first_error_pos = -1;