Update HalfDown.php