minor change in error-reporting