Fix pretty printer probs (fixes #17)