Fix naming of ServeHTTP example