get rid of pretty output

This is way too much trouble than it is worth.