changed EOF-token attributes