[doc] tutorial fix bad file name