Fixed the bug which was in the original version.

The change affects only the first line of
rep32-2a.h