Fix bad filename for an image of an example