some minor doc adaptations