small fix in test_propagate.py