Prettify spec, ultimately