clarified comment on fold
fixed reduce spec, so it is more `precise`