attempt to blindly fix this doctest issue