Small docs fix for #855