SERVER-14471 Fixing lint error because of whitespace