Typo resulting in bad eta-expansion of destructing let's body.
Revealed by message on coq-club on 24/11/2013.