remove doctest-prop dependency