Some small documentation improvements