Tweak to FunctionalSpec.md.