bugfix in pretty-print error message