Minor: omit an unnecessary variable in JS for EVAL