Fixed problem related with the change of the name of an example file