Changed EOF symbol