Fix bug in auto-file-type detection.