I'm very glad you stuck with the bit (har har) and didn't resort to just telling him he missed the joke. Well done.