fix bug in tpl.h