       .subscribe successHandler, @displayErrors
 
   doMakeCase: ({ target }) =>
-    editor = target.model
+    editor = @getEditor()
     @saveFile editor
     uri = editor.getURI()
     line = editor.getLastCursor().getBufferRow()
-    word = @getWordUnderCursor target
+    word = @getWordUnderCursor editor
 
     successHandler = ({ responseType, msg }) ->
       [clause] = msg

      .subscribe successHandler, @displayErrors

  printDefinition: ({ target }) =>
    word = Symbol.serializeWord @getWordUnderCursor(target)
    uri = target.model.getURI()

    successHandler = ({ responseType, msg }) =>
      [type, highlightingInfo] = msg

      .subscribe successHandler, @displayErrors

  doProofSearch: ({ target }) =>
    editor = getEditor()
    @saveFile editor
    uri = editor.getURI()
    line = editor.getLastCursor().getBufferRow()
    word = @getWordUnderCursor editor

    successHandler = ({ responseType, msg }) ->
      [res] = msg
