Fixed a careless glitch in demo_server.rb