fix a bug in updating symbol values