Minor docs polish.