rename Str\explode to Str\split; tiny fixes