fix bug fixnum