Update design document

Minor format changes.