Fixed a tiny bug in the PMM code