Note that the entire space of arrows G is not asked to satisfy any connectedness hypothesis. However, if G is a source- k -connected Lie groupoid over a k -connected manifold, then G itself is automatically k -connected.