Update prettify, documentation, few bugs fixed