Tweak timestamp-insertion function

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