BUG in insert_nonfull FIXED!