Fix exporting on Firefox. #968