20140123 fix in PdfWpropagator, expand test for it