tweaks to StreamEx.h