Some linters settings