Fix refresh of terminals list on exit of one of them