Changed the specification for foldings.