Minor changes regarding install instructions for nutty server