Another doc fix.