- bugfix in WebDriver class