Fix small doc bug