That's true, thanks! Must have been already late in the afternoon when I implemented this... ;-)