Minor docs modifications