CircleCI: cosmetic improvements