Update detailed-design.tex