Update SpecificationDocument.txt