non-pretty by default