Fix #3132: a case of bogus code generation