Fix symbolset generation