Terminal: correct color setting, hopefully this time correct