prettify is fixed! hooray!