fix some documentation intricacies