Remove non-ASCII characters.
Remove non-ASCII characters.

By copy-pasting a comment from a pdf file, some non-ASCII characters
snuck into one of the source files.
This caused havoc with some Python implementations during the generation
phase of building.

xaptum/ecdaa,xaptum/ecdaa,xaptum/ecdaa