Fix To Do document slightly broken in 116221ee56.