Make a tiny optimisation.