typos removed from DESIGNDOC