Fix doc bug