Another doc correction