Update Asserter.php