Added doctest-prop