Fix bug in Alternation examples display

Close #57