Fixed ticket441: Ampersand is very strict about the types right here, but does not insert any epsilons.
Merge pull request #10 from AmpersandTarski/ticket441

Fixed ticket441