typo fix in gadget-server.properties