Problem with Lint

The error highlighting feature has some bug, disabling the feature
right now.