fix small bug in display of error messages