Some cleanup of PML.h