statistics: make cpplint happy again