Fix readlines()