Bugfix: StdGen was not updated after insert