Some docs fix