Revert "Doc fixes"

This reverts commit d87e62da908e5344f2c58aa57f445909ad5b17f2.