SERVER-14804 Fixing style nits