fix circle docs

closes PR 13971
fix PR 13970 is a slightly less ugly way