Fix a bug in tprek importing