fix a bug in ParamSet printer