Minor docs fixup