Tweak DifficultyCategory.to_string() some more