closes #954: wrong header name in WebServer example sketches