Remove accidental double file extension (regrets)