Keep maxSatisfying comment in sync with behavior