Another doc fix