more improvements for the pretty printer
minor style changes
fix a bug introduced in recent commits
bump version number