Work around doctest bug