I guess the lesson of this is to read generated code carefully. Thanks!