It is shown that the abstract approach to Finite Developments due to Melliès is applicable only up to second-order term rewriting systems.