board.cc, board.h: tiny code improvments
board.cc: more tiny improvements...