minor "optimisation"