Documentation: Fixed AutoDoc markup in a few places.