typo & link to the minecraft wiki for server.properties