Fix minor documentation error in Foldable.