I remember reading something about that, explaining, if I recall correctly, that “____, King of Israel” was a traditional way of expressing high praise for someone, but did not mean literally hailing him as king.