Charm channel name changed?

I have a mysql-innodb-cluster from some time back, which I now can’t refresh because it appears that the charm’s channel name has changed (from ‘stable’ to ‘8.0/stable’).

$ juju refresh mysql-innodb-cluster
ERROR not found

Can I change the channel name for an installed charm somehow? Did I miss something?

Are you actually using channels with the mysql-innodb-cluster charm? What is the output to:

juju status mysql-innodb-cluster