Agreed that it shouldn't matter because the redirect works fine, but if you're still concerned:
Google Webmaster Tools has an option to pick which version of the url you would like them to use - 1) add BOTH the www and non-www version of the site to your G.W.T. account and verify each 2) select your site and go to Site Configuration-Settings-Preferred Domain