@@ -81,5 +81,5 @@ The testing framework can then be invoked using ``idris --testpkg maths.ipkg``::
81 Test Passed
81 Test Passed
82 Test Passed
82 Test Passed
84−Note how both tests have reported success by printing a single ``.``
84+Note how both tests have reported success by printing ``Test Passed``
85as we arranged for with the ``assertEq`` and ``assertNoEq`` functions.
85as we arranged for with the ``assertEq`` and ``assertNoEq`` functions.