Yes, I noticed that. I'm not a fan of fold on symbol/boolean/option but in this case it's ok I guess.