minor tweaks Minecraft Servers

minor tweaks