minor CI fixes