The residual mass term in the heavy quark effective theory