Fix a non-integer value of NP bug