fix a symbols error