diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
index cdc5209..83abaee 100644
--- a/lib/idris-controller.coffee
+++ b/lib/idris-controller.coffee
@@ -131,6 +131,7 @@ class IdrisController
 
   getDocsForWord: ({ target }) =>
     editor = @getEditor()
+    @saveFile editor
     uri = editor.getURI()
     word = Symbol.serializeWord @getWordUnderCursor(editor)
 
@@ -370,6 +371,7 @@ class IdrisController
 
   printDefinition: ({ target }) =>
     editor = @getEditor()
+    @saveFile editor
     uri = editor.getURI()
     word = Symbol.serializeWord @getWordUnderCursor(editor)