SERVER-9518 Small change to comment