Correctly handle an empty priority list.
It should not exist, but this is no reason to not terminate.