Bug in the arithmetics