I am unsure but I think you're correct. I read once it was called the Condor Lovers instead of Return of the Condor Heroes.
If anyone have any clues about this then please do share your thoughts.
I have read that in a different language they have a different name for this particular show version?