small changes to server3.js