Some mistakes were fixed in the implementation of the Kojima trick.