Fix bug in TerminalConceptVariable