Still differences in running the tests between Tiago and myself: Checking it all in!