hack for PrettyFormatter