Tweak to TechnicalSpec.md.