another docs fix