GPII-1047: tvm (typo in NP set)