push diff: small str.split() bugfix