         , @warnOutOfGoal
 
     goalTypeAndInferredType: -> @getCurrentGoal().done (goal) =>
-            @warnCurrentGoalIfEmpty goal, 'Please type in the expression to infer'
+            @warnCurrentGoalIfEmpty goal, 'Nothing to infer'
             @core.executable.goalTypeAndInferredType goal
         , @warnOutOfGoal
 


            # if changed then modify text buffer
            if obj.content isnt obj.modifiedContent
                # console.log "#{range} diff: #{diff} '#{obj.content}' '#{obj.modifiedContent}'"
                @core.editor.setTextInBufferRange range , obj.modifiedContent
            return obj


        @core.panelModel.set 'Out of goal', ['For this command, please place the cursor in a goal'], 'warning'

    warnCurrentGoalIfEmpty: (goal, warning) =>
        content = goal.getContent()
        isEmpty = content.replace(/\s/g, '').length is 0
        if isEmpty
            warn 'Text Buffer', 'empty content'
