Use short prefix type in Ports.toString()