Tweak documentation of speculative insertion interface