(^) finalization for pointer events