formatVSPort: unknown ports were not displayed