diff --git a/doc/design/gui2/progress_bar.hpp b/doc/design/gui2/progress_bar.hpp
index cf7ca4c6c87..b7140178e32 100644
--- a/doc/design/gui2/progress_bar.hpp
+++ b/doc/design/gui2/progress_bar.hpp
@@ -5,12 +5,12 @@
 
 namespace gui2 {
 
-class tprogress_bar /*@ \label{progress_bar.cpp:class} @*/
+class tprogress_bar /*@ \label{progress_bar.hpp:class} @*/
 	: public tcontrol
 {
 public:
 
-	tprogress_bar()  /*@ \label{progress_bar.cpp:constructor} @*/
+	tprogress_bar()  /*@ \label{progress_bar.hpp:constructor} @*/
 		: tcontrol(COUNT)
 		, percentage_(-1)
 	{
@@ -18,7 +18,7 @@ public:
 		set_percentage(0);
 	}
 
-	/***** ***** ***** ***** Inherited ***** ***** ***** *****/ /*@ \label{progress_bar.cpp:inherited} @*/
+	/***** ***** ***** ***** Inherited ***** ***** ***** *****/ /*@ \label{progress_bar.hpp:inherited} @*/
 
 	/** Inherited from tcontrol. */
 	void set_active(const bool /*active*/) {}
@@ -33,7 +33,7 @@ public:
 	bool disable_click_dismiss() const { return false; }
 
 
-	/***** ***** ***** setters / getters for members ***** ****** *****/ /*@ \label{progress_bar.cpp:settersgetters} @*/
+	/***** ***** ***** setters / getters for members ***** ****** *****/ /*@ \label{progress_bar.hpp:settersgetters} @*/
 
 	void set_percentage(const unsigned percentage);
 	unsigned get_percentage() const { return percentage_; }
@@ -45,7 +45,7 @@ private:
 	 *
 	 * Note the order of the states must be the same as defined in settings.hpp.
 	 */
-	enum tstate { ENABLED, COUNT }; /*@ \label{progress_bar.cpp:state} @*/
+	enum tstate { ENABLED, COUNT }; /*@ \label{progress_bar.hpp:state} @*/
 
 	/** The percentage done. */
 	unsigned percentage_;