Better timestamp() documentation