yeah, i think just noting it on their profile is a good idea!
you might also be able to go in and change the creator credits through the ownership tab? idk