Fixed a numerical precision error in a doctest