Fix one more failing doc example