Fixes: #2490 fixes a PHP error in board