fix an over-optimisation