mpp.0.1.1: an important bug fix