fix filename in example