Fixed updating the server.txt
Another fix to the doc