Fixed tests for ZZ/p which were checking for the wrong thing.