Minor docs improvements