Fix grammar in Javadoc for Propagation