Reverting a erronous List.rev