proper PR release