Leading mass corrections to the heavy quark effective theory