Update readline.py