--- post.php.ori	2009-11-18 19:21:28.593750000 +0100
+++ post.php	2009-11-18 19:36:31.250000000 +0100
@@ -1237,9 +1237,9 @@
 		do_action( 'deleted_postmeta', $post_meta_ids );
 	}
 
-	do_action( 'delete_post', $post_id );
+	do_action( 'delete_post', $postid );
 	$wpdb->query( $wpdb->prepare( "DELETE FROM $wpdb->posts WHERE ID = %d", $postid ));
-	do_action( 'deleted_post', $post_id );
+	do_action( 'deleted_post', $postid );
 
 	if ( 'page' == $post->post_type ) {
 		clean_page_cache($postid);