More like a homonym pun. Synonyms have the same general meaning. More accurately a homophone pun since both the spelling and the meaning are different, but the sound is the same.
You are absolutely right. I should have known that. I’ve been off my game recently