Resolved a renaming bug for both declared global identifiers.