The computation of the smoothness of the examples in Section 2.2 is incorrect.
A pair of commuting maps with the given conditions can have at most 3/2 derivatives.