Add an extra config to sphinx to fix #6618.