Index: wp-admin/includes/template.php
===================================================================
--- wp-admin/includes/template.php	(revision 21656)
+++ wp-admin/includes/template.php	(working copy)
@@ -1760,7 +1760,7 @@
 	 *
 	 * @param string $pointer_id The pointer ID.
 	 * @param string $selector The HTML elements, on which the pointer should be attached.
-	 * @param array  $args Arguments to be passed to the pointer JS (see wp-pointer.dev.js).
+	 * @param array  $args Arguments to be passed to the pointer JS (see wp-pointer.js).
 	 */
 	private static function print_js( $pointer_id, $selector, $args ) {
 		if ( empty( $pointer_id ) || empty( $selector ) || empty( $args ) || empty( $args['content'] ) )
Index: wp-admin/js/post.js
===================================================================
--- wp-admin/js/post.js	(revision 21656)
+++ wp-admin/js/post.js	(working copy)
@@ -281,7 +281,7 @@
  		if ( taxonomy == 'category' )
  			settingName = 'cats';
 
-		// TODO: move to jQuery 1.3+, support for multiple hierarchical taxonomies, see wp-lists.dev.js
+		// TODO: move to jQuery 1.3+, support for multiple hierarchical taxonomies, see wp-lists.js
 		$('a', '#' + taxonomy + '-tabs').click( function(){
 			var t = $(this).attr('href');
 			$(this).parent().addClass('tabs').siblings('li').removeClass('tabs');