Fix bug in Interface.spike_ports().