Fix a bug in identifier