Update tap-version-13-specification.md