make use of new error-reporting facility