Fixed typo, so this finishes our setup for CircleCI.