diff --git a/src/gui/widgets/container.hpp b/src/gui/widgets/container.hpp
index 6816f66f852..76d7e9a866b 100644
--- a/src/gui/widgets/container.hpp
+++ b/src/gui/widgets/container.hpp
@@ -78,8 +78,8 @@ public:
 	/** See @ref twidget::request_reduce_height. */
 	virtual void request_reduce_height(const unsigned maximum_height) OVERRIDE;
 
-	/** Inherited from twidget. */
-	void demand_reduce_height(const unsigned maximum_height);
+	/** See @ref twidget::demand_reduce_height. */
+	virtual void demand_reduce_height(const unsigned maximum_height) OVERRIDE;
 
 private:
 	/** See @ref twidget::calculate_best_size. */
diff --git a/src/gui/widgets/grid.hpp b/src/gui/widgets/grid.hpp
index fd3e2852677..0cc79da677b 100644
--- a/src/gui/widgets/grid.hpp
+++ b/src/gui/widgets/grid.hpp
@@ -208,8 +208,8 @@ public:
 	/** See @ref twidget::request_reduce_height. */
 	virtual void request_reduce_height(const unsigned maximum_height) OVERRIDE;
 
-	/** Inherited from twidget. */
-	void demand_reduce_height(const unsigned maximum_height);
+	/** See @ref twidget::demand_reduce_height. */
+	virtual void demand_reduce_height(const unsigned maximum_height) OVERRIDE;
 
 	/**
 	 * Recalculates the best size.