Fixed some bugs in RTDP, also made it use the conventional RTDP mode by
default, rather than the batch mode to which I had set it.