removed code prettify

It is apparently disfunctional.