Minor docs improvement