Tweak Interface.to_selectors() to fix port identifier formatting.