Ugliest hack ever. Letting the insertion functionally correct.