Minor docs edit