Oops. I did some VERY wrong things with readline(). Fixed now.