Small update to the release instructions