       .subscribe successHandler, @displayErrors
 
   apropos: ({ target }) =>
-    editor = target.model
-    uri = editor.getURI()
+    uri = @getEditor().getURI()
 
     successHandler = ({ responseType, msg }) ->
       options =

      .subscribe successHandler, @displayErrors

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

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

      .subscribe successHandler, @displayErrors

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

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