do not use pretty, which fails on its own tests