Fix inconsistencies in file name handling through examples, thanks to João Alberto