Be clear that we're using re.split