for the record, cpplint is the reason for this change.