Fix example discovered by usage_test