Updated instructions about starting the server, and incorporated your bugfix