Fix use of GUI BOARD MANAGER