Fix filename in example