handle EOF as operator