fixes #7080: symbols are no longer being sorted

Yeah, I was just about to write that. Will this work on 1.8?