fix NumericPLens