IO.readline deprecated, grammar correction