Ensure that we really did find the max