Index: wp-includes/general-template.php
===================================================================
--- wp-includes/general-template.php	(revision 11202)
+++ wp-includes/general-template.php	(working copy)
@@ -1340,7 +1340,7 @@
 		$time = $post->post_modified;
 	$time = mysql2date($d, $time);
 
-	return apply_filters('get_the_modified_time', $time, $d, $gmt);
+	return apply_filters('get_post_modified_time', $time, $d, $gmt);
 }
 
 /**