minor doc error