some micro-optimisation (that actually helps 2.5x)