Prettier SPEC?