Fixes for smart-mode-line