Fix minor doc error.