Yep, this is correct. Unless you disable `hide file extensions for known file types` or something to that effect you'll not see the real file extension. Good catch!
