remove some ugly "S"s from insert

same trick causes Program to ask me to prove false
things for copy, tho, sadly.