Update ParsingState.php