bugfix in term.ptx