fixed teh fixnum bug which popped up