prettify was elsewhere

woops