Solving a bug when the number of pins said to be part of a board is actually wrong