Fixed a small doc error