Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 41c4444557cd252a3e2577acb8db13800ce0d480)
@@ -137,5 +137,5 @@
 		
 #ifdef CONFIG_SIMICS_FIX
-		/* Don't know why, but this addresses help */
+		/* Don't know why, but these addresses help */
 		frame_mark_unavailable(0xd000 >> FRAME_WIDTH,3);
 #endif