Renamed the file as well in all examples (forgotten).