diff --git a/mk/config.mk.in b/mk/config.mk.in
index daa6d699c950744e0b82287de0784858fa3a8a8d..3a87f24d109b0453dc3b2d43a2cc7b629a8ef37a 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -1234,7 +1234,7 @@ WAY_thr_debug_NAME=threaded
 WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG
 
 # Way 'thr_debug_p':
-WAY_thr_debug_p_NAME=threaded
+WAY_thr_debug_p_NAME=threaded debug profiling
 WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof
 
 # Way 'dyn': build dynamic shared libraries