Updated DESIGNDOC and comments