Another documentation nit