Fix for systems where str.split("") behaves strangely