SERVER-10565 Appease lint.