Fix doc bug discovered by failing tests