progagation -> propagation

Just because it's embarrassing.