minor fix: use iolist instead of ++