OFHTTPServer: Small fixes.