I've fixed this now by rewriting both this reference and the original description of `current_time`.