This part is technically redundant, but it hardly matters. Next person to make a pull can just remove it then