Data.Time.Clock.DiffTime documentation error

Hi all, The documentation for Data.Time.Clock.DiffTime says that DiffTime has an *accuracy* of 10^-12 seconds. Since (I assume) the datatype can't ensure the accuracy of external timekeeping mechanisms, shouldn't this say *precision* of 10^-12 seconds? The same is true for NominalDiffTime. I don't know if a change this simple needs to go though the Library Submissions Process, but it certainly could. Alex