(marginal 10-line change.)