Propagator: add a bit of documentation comments