Minor fix for WebServer