Some tests for the pretty writer.
Fix some documentation errors.