diff --git a/mps/code/ss.c b/mps/code/ss.c
index 7bee73ffe1c..2916794ebd7 100644
--- a/mps/code/ss.c
+++ b/mps/code/ss.c
@@ -29,7 +29,7 @@ SRCID(ss, "$Id$");
  * On all supported platforms, the arguments are pushed on to the
  * stack by the caller below its other local data, so as long as
  * it does not use something like alloca, the address of the argument
- * is a hot stack pointer.
+ * is a hot stack pointer.  See design.mps.ss.sol.stack.hot.
  */
 
 void StackHot(void **stackOut)
diff --git a/mps/code/ss.h b/mps/code/ss.h
index f0000bc530c..80bd86f9d37 100644
--- a/mps/code/ss.h
+++ b/mps/code/ss.h
@@ -18,7 +18,7 @@
  *
  * The jumpBuffer is used to capture most of the mutator's state on
  * entry to the MPS, but can't capture it all.  See
- * design.mps.stack-scan for detailed discussion.
+ * design.mps.stack-scan.sol.setjmp.scan.
  */
 
 #include <setjmp.h>