Update GlobalState.php