Bug in STABLE-SORT on empty vector