Re: Small bug in ports.php