Fixed minor bugs, updated DESIGNDOC