Mozilla bug says the fix targeted v31