more slight docs improvements