error-report style improved