docs cleanup on naming to fix #9710