Small docs fix