correct a lint error