company-mode tweaks