Fix GreedyVector compilation error