fix dump_board