another docs fix for bad rename