Changed name of Terminal theme