On integrating Lie algebras