more work on the DESIGNDOC