Fix the description of disable-ctrl-d It was backwards. Now it's not. Reported By: William Throwe <wthrowe@mit.edu>