The construction appears to be the standard one, but the model space is a little strange. The space is the smooth path space, with source , but the claim is that the model space is a complete normable space. This would make it a Banach manifold, but the space of smooth paths is modelled on a nuclear Fréchet space so can’t be a complete normable space. Indeed, on a quick scan through I couldn’t see where it was shown that the model space was complete.