HoleEdit: mconcat of one element