Corrected @setfilename for easejs.texi