fix synthetic types