Correction on instructions for running tests