Fix the symbolset.