Maybe fix DateTimeFormatter for newer firefox