Use python 2 compatible use of str.split()