Fixed small issue on delete invariant.#24