Fix symbolset initialization (#4556)