Done.
But it's ok to credit a larger work (like a musical) since there are a ton of potential artists. Especially if the artists don't ordinarily make comedy music. We had this discussion a while ago about RHPS & Tim Curry.
I know. This took a while. I was out doing exhausting household chores...