Fix documentation comments generated for labeled alternatives (fixes #543)
Merge pull request #620 from sharwell/fix-543

Fix documentation comments generated for labeled alternatives