Small documentation adaptations