yet another docs fix