For $M$ a closed manifold or the Euclidean space $mathbb{R}^n$, the authors present a detailed proof of regularity properties of the composition of $H^s$-regular diffeomorphisms of $M$ for $s > frac{1}{2}dim M 1$.