Improve error reporting in Core Lint