Sharpen up label text
Sharpen up label text
circleIntersection -> venn
Merge branch 'master' into gh-pages