-(@pxref{Testing}). In particular, the tests for project 2 and later
-projects will probably run faster if you use the qemu emulator, e.g.@:
-via @code{make check PINTOSOPTS='--qemu'}. The qemu emulator is
-available only on the Linux machines.
+(@pxref{Testing}). In particular, the tests for project 2 (and later
+projects) will probably run faster if you use the qemu emulator, e.g.@:
+via @code{make check PINTOSOPTS='--qemu'}.