diff --git a/lib/idris-controller.coffee b/lib/idris-controller.coffee
index f25dc52..f3e8080 100644
--- a/lib/idris-controller.coffee
+++ b/lib/idris-controller.coffee
@@ -81,7 +81,7 @@ class IdrisController
       [type, highlightingInfo] = msg
       @messages.show()
       @messages.clear()
-      @messages.setTitle 'Idris: Type of <tt>' + word + '</tt>', true
+      @messages.setTitle 'Idris: Docs for <tt>' + word + '</tt>', true
       informationView = new InformationView
       informationView.initialize
         obligation: type