Fix issue in release instructions