I think that's just me being overly cautious about stuff. I've removed it from the PR.