(jklew) monotonicity check fixed