fix a bug in use tracei4