minor bug in handling of bad ident