Update showTermDef.js