Update docs/spec-pt.md