Minor correction to draw-tree contract