Fix bug in board loader.