new case in pretty-printer