That doesn't look right to me.  But actually, neither do the next two lines.  Maybe I'm missing something.  @vuntz?