Fix tests on CircleCI!