fixed test_pyre