Fix compilation: correct parameters for list_vanquished