@andrewor14 and I looked this over yesterday and yep, it's now redundant.