Update propagate.py

add a header