Release script: minor formatting issue.