Pipe character missing on 'Ports' page

There might be a pipe character ‘|’ missing in the menu bar of the ‘ports’ page. Between ‘Update URL’ and ‘Search’. I tried to find the culprit within html/pages/ports.inc.php but I’m afraid that’s not my thing.

14