[WebServer] Avoid useless cast