Merged 'pretty' into 'util'