diff --git a/src/widget_manager.cpp b/src/widget_manager.cpp
index 4090e6839..6a33eb13a 100644
--- a/src/widget_manager.cpp
+++ b/src/widget_manager.cpp
@@ -929,8 +929,8 @@ int WidgetManager::handle_pointer(const int X, const int Y )
     return WGT_NONE;
 }
 
-/** The handle_*() function stores the current widget under the cursor
- *  after receiving input from a key.
+/** The handle_<direction>() function stores the current widget under
+ *  the cursor after receiving input from a key.
  */
 int
 WidgetManager::handle_left()