Update standard-header-set-specification.md