added some useful linting options