fix typos in index.html; make .cgi executable