Remove unneeded insert-ket function