fix #56: server should return header User: $WebID