Update FunctionalSpec.txt

A few minor changes and updates. Nothing significant.