bugfix in port list