Added prettify to examples in docu.