This turns out to be wrong :( 

I'll push a patch to correct it