-echo "The build seems to have finished successfully, including $NPASSED"
-echo "(out of $NCONTRIBS) contributed modules. If you would like to run"
-echo "more extensive tests on the new SBCL, you can try"
+echo "The build seems to have finished successfully, including $NPASSED (out of $NCONTRIBS)"
+echo "contributed modules. If you would like to run more extensive tests (but"
+echo "expect some failures on non-x86 platforms) on the new SBCL, you can try:"
+echo