diff --git a/mps/qa/test/script/optproc b/mps/qa/test/script/optproc
index f3d845baf50..da9ad1f43f4 100644
--- a/mps/qa/test/script/optproc
+++ b/mps/qa/test/script/optproc
@@ -133,7 +133,7 @@ sub explainoptions {
  foreach $key (@keys) {
   $optname = "MMQA_$key";
   if (&optioncode($key)) {
-   $optcode = "-".&optioncode($key)." <value>";
+   $optcode = "-".&optioncode($key)." <val>";
   } elsif (&flagcode($key)) {
    $optcode = "-[no]".&flagcode($key);
   } else {
@@ -149,7 +149,9 @@ sub displayalloptions {
 }
 
 format OPTLIST =
- @<<<<<<<<<<<<<<<<<<<<< @<<<<<<<<<<<< @*
+ @<<<<<<<<<<<<<<<<<<<<< @<<<<<<<<< ^<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
 $optname, $optcode, $optcur
+~~                                  ^<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
+$optcur
 .