fix a bug in division