misc. minor optimisation