After discussing with @filipw I think this is redundant and removing it is fine.