Use actual terminal names, not *all* the terminal names

Wow, last night's change was really half-assed. I copied it locally then miss typed it when I made the PR