Fix whitespaces in pretty-printing