Minor fix to release batch file