lazy: fix fold behaviour at eof