You're right - it's redundant.  The same redundancy is present in master.