fix typo in fold (thanks Georg Schmid)