fixed a bug on homomorphic integer multiplication