Fix typo in comment.
Fix erroneous replace'n'replace in the design doc.