Bug fix in prettify; edited change log etc.