lars
committed
on 20 Aug 03
Added comment, because both Jun and I were confused.