another fix in doctest::aptest