Update js/readline.js