Make cpplint happy