Small changes, for posterity.