Tweak timestamp-insertion function

I usually use it in a context where I want exactly one leading space, so
now it does that.