Bug in monotonicity detection.