Fix missing <algorithm>