Update fold.hpp