Fix rounding error (and docs)