Clarified behaviour of Server.start