Minor fix of port numbers