Fix name of example doxy file