Fix some stuff in Karatsuba