See comment for `--pretty`