This fixes pp mode to actually work in all but weird circumstances.
Doc fixes.