Small documentation example fixup