That's fixed in my PR with changes to release.php