- fix bug #6861: 5 digit ports get truncated