bug fixed in TERMID2EXTID <2013-09-18, Wed>