added an error bound for the convergence of the exponential maps