Who was the co-host of the actor that played in "How I Met Your Mother"?