Correction of Manifolds 1.5 : Manifolds with Boundary