clean up after PR