Remove accidentally added code in 'insert.py'. (It is from SoftDsg.)