bug fix of generated files

いくつかバグがあったので修正しました。