Added DESIGNDOC and fixed formatting.