So if I understand correctly, there was a short in a single pin, and the solution is to just leave it disconnected? Is it an option to actually track down why it needs to be masked?...