#155: fixed a bug with the boolean board