Correct an error in expmod-0 definition