Improve design doc a little