minor documentation improvements in ddoc