SERVER-13680 Fix lint error