Minor changes in terminal colors