Re #9572. Removing sphinx errors.
Re #9572. Fixing documentation markup.