  The renormalization, at the next-to-leading order in $\alpha_s$, of the
$\Delta B=2$ operators at the lowest order in the heavy quark expansion, namely
in the static theory, is computed taking into account previously missed
contributions. These operators are relevant for the calculation of the
$B^0$--$\bar B^0$ mixing on the lattice.
