I was wondering, was Ricard known as Ricard Highwind in the original NES one, or did they add in his surname in the port?