added specific lint options