minor changes to mamal.js and server.js