Clarify timestamp specification with respect to leap seconds.