a little modification on insert, and testcase for MARVEL