Small docs fix.