Fix typo in propagation code.