Release script: corrections after reviews