SERVER-14443 fix lint