Firefox 17: fix dumb patch error