fix a bug in pvs