actually we don't ever want to panic in prettyPrint()