Explicitly state that file names should have an extension