small documentation improvements