Small bugfix related to the board reset function