Fix the double-rotation bug.
[drlaunch] / README