better doctest coverage of ferenda.util