Bug in wsl.providers.php