Fix example file naming