The gods too are fond of a joke.