More design doc changes