Small compiler error fix in ManagerTerminalUI