SERVER-14460 Fix lint