Fix test_ship_of_theseus.