Fix bug: dreg terminal names are upper-case