Modified prettify() to give even better name