minor enhancement to TerminalPage