Changed ports in web.js and fixed some typos in index.html