fix a bug in function symbol processing