Small bug in ports.php