Thanks for pointing it out. I'll try and commit the change to CVS this evening.