The example didn't belong there. Not my code. Committed by accident.