Tiny bug fix, on the Do page