Quick hack for WebKit getters bug