Fix spelling of Xor prims. This fixes issue #356.
Merge pull request #357 from andreas23/master

Fix spelling of Xor prims. This fixes issue #356.