Fix boards.txt