added lint options