Making prettify work (hopefully)