fix Kaj's problem with wxt terminal...