aha, good point :-)