Fix lint error from Bug 837089