typo in releases.php