Tweaks to cc-mode