Fixed small JavaCC bug.