Retracted. I was missing the context (the code fold tricked me).