small documentation additions