Update tap-specification.md