typo fixes in static eval