various docs improvements