Fix minor issues with the "prettify" facility.

This patch fixes minor issue with the "prettify" utility.

Instead of explaining the fixes here, something that would be tedious to read, I wrote "line notes" on the commit page: 

https://github.com/mooffie/LDoc/commit/67a78ee0a5c89fcd4f8445a34c2e12fd4e6b2371