Fix minor issues with the "prettify" facility.
Merge pull request #130 from mooffie/fix_prettifier_last_lines

Fix minor issues with the "prettify" facility.