SERVER-9515 Fix lint error