Correction to time documentation problem from rebase