Company mode tweaks
Placate the linter