fix error in karastuba test