Bug? Multiple uses of global variable $cache_pages

I’m using static pages as a way of creating different sections of my site, using a navigation bar of available pages at the top of each page. It works fine on the blog pages, but when actually viewing a static page, the function wp_list_pages() doesn’t return a correctly formatted listing of pages — it has only a link without title, for the current page.

I think I know what the problem is: the global variable $cache_pages seems to be used twice, in different contexts. Firstly, in wp-includes/functions.php, it stores the posts that generated the current page. Secondly, in wp-includes/template-functions-post.php, it is used to cache all static pages. Clearly, these are different functions, so one of the variables should be renamed.

Is this forum the correct place to lodge this bug/fix?