Added special case to add lines to the history of Readline