fixed the tests.pt file; mailing