note another possible micro-optimisation.