minor corrections to auto-generated files