[trivial] delete