fix a few stuff in BoardConfig..