minor change Minecraft Servers

minor change