Fix build (to trigger the CI)