Update the design document a little.