--- app.c.orig	2012-05-13 21:24:12.000000000 +0000
+++ app.c	2012-05-13 21:24:13.000000000 +0000
@@ -1343,7 +1343,7 @@
 	      else
 		{
 		  state = 9;
-		  if (!IS_SYMBOL_COMPONENT (ch)) 
+		  if (ch == EOF || !IS_SYMBOL_COMPONENT (ch)) 
 		    {
 		      if (ch != EOF)
 			UNGET (ch);