Resolve #1081: authoritative tagging now works.