Update Specification.md

Some more