Work around Firefox's bug 879717