Yes, TCMP has a special meaning, so I agree that it should stay there.