Fix readlines return type