fix a number format bug