Fix reference to leap seconds in documentation.