Fix nits in CI and setup script.