Minor changes after usage of gnome-terminal-colors-solarized