Fix a typo of notation in the obfs2 protocol spec.