Joy to the world the ___ is come?

I don't believe I have made any political commentary thus far on this blog yet, but here is a little snippet I read from a brief article about Obama attending a church service recently.

The first family arrived at a chapel at Marine Corps Base Hawaii mid-morning for a multi-denominational service. The Obamas were greeted by clapping parishioners and a band playing "Joy to the World" as they were led to their seats in the front row.

Now, what is the first line of that classic Christmas-time chorus? "Joy to the world, the Lord is come."

Does anyone else find that funny? Hopefully I am not being too oblique in my humor...