fix comment on folding instruction