fix the fixnum error