An mp4 is a video file type, but the .mp4 in the file name is the file extension. Usually, these things should match, but it's possible for that not to be the case.