Minor layout tweak to Terminal window UI.