tweak #13453 Firefox bug summary