prettify slightly