Minor cleanup to poke CI.