How long did it take between your discovery and mozilla fix?