fix badge test for CircleCI