fix a cpplint error