Now went the file. Type inference adapted accordingly.