Fixed some board bugs. Ac3 correctly verifies boards