Typo tweak - Minor cosmetic fixes to the specifications.