Fix typo ("Bad identifier")