I’m not sure he actually missed that so much as made his own joke there.
Hard to say, but the “fixed” implied to me that he missed it. It’s OK though, he did miss Billy Ocean by about two decades.
Go make your own “The ‘Missed Billy Ocean’ Thread” thread.