Design document update to correct formatting issues.