Work around a problem introduced in Firefox 31