extra prettyprinting only when debugging