Minor optimisation

I sure am spamming, but hey, you shouldn’t be looking at this!