Fixed a lot of stuff, but my pretty printer seems to inherit from somewhere unknown...