Fix bug of wrong file extension