OTOH, This include should not be needed here. Do we use anything from <algorithm> here?