Fix documentation comments generated for labeled alternatives

Fixes #543