Fix for cpplint