CircleCI: cosmetics