mido-ports now prints port names in single ticks.