make ErrorListener more verbose