bugfixes for WebViewController