minor corrections discovered in Design and Dvp