Minor docs modification