tweak Terminal extension