minor change in Horner.js