On a new proof of Moser's twist mapping theorem