Small change to Terminal theme