Some docs improvements