***************
*** 16,22 ****
  BLANK	[ \t]
  DIGIT	[0-9]
! ALPHA	[A-Z]
! ANUM	[0-9A-Z]
! NAMECHR	[0-9A-Z./-]
  
  %%
--- 16,22 ----
  BLANK	[ \t]
  DIGIT	[0-9]
! ALPHA	[A-Za-z]
! ANUM	[0-9A-Za-z]
! NAMECHR	[0-9A-Za-z./-]
  
  %%
***************
*** 42,45 ****
  
  {ALPHA}		{
+ 			yylval.namelist = newname(yytext);
+ 			return (NAME);
+ 		}
+ 
+ {DIGIT}+{ALPHA}{NAMECHR}* {
+ 			fprintf(stderr, "Warning: nonstandard name \"%s\"\n",
+ 				yytext);
  			yylval.namelist = newname(yytext);
  			return (NAME);

***************
