Minor cleanup in NanoHTTPD