2013-10-10-23.43.10: More prettyprinting.lib tidying.