Minor addition to bio. (For posterity)