Fix a conflict with variable names in port translation

 * Since the renaming done in commit be074838, two elements used by the
   port translation system shared the same variable name. Consequently,
   it did not work at all.