doc for eval-formula corrected