Doc fix for current-time-string and date-to-time (Bug#5408)