minor change in Server Prototype/index.html