Fix some terminal colors