readlines yields list of strings, not a string