Fix stupid file extension recognition bug.