oh, yes, very likely it was a broken or dirty pin (that's what I mean with "failed"). I wouldn't be surprised if it was somehow a software problem as well (apparently for simplicity some cheap USB-C port setups are wired as two ports.