Fixed some details in release procedure