Another doc improvement