For some reason, the code does not compile on my computer, while it should. Let's see how it goes in CI.