Housekeeping: Superfluous comment removed.