Just a title typo fix
Fixes #44: Removing old pretty-printing cruft