More verbose error messages for the linter