Checker error reporting improved