Fixed minor things and added info to DESIGNDOC