cleaning up after !povey