Fix for web_server