Two minor bugs in the sorting of available mods.