make terminal work with the new jquery