Fix for Firefox 20.0 release