Typo fix in gadget-server.properties