#2593: wrong inverse sorting in history and other lists