That's OK, clearly it also confused the producers of the Shrek soundtrack album too :)

Here's a post from couple of days ago which documents the history of Hallelujah - http://www.usatoday.com/story/life/music/2016/11/11/leonard-...