SERVER-14559 correct lint issue