Update Ex_1.7_eofval.rst