Silly me, I didn't get back here in time to delete my comment! But we're probably long off the home page by now, so nobody cares much about a little clutter... :-)