minor things Minecraft Servers

minor things