use split rather than re.split